//	-Wnonnull
//    	Warn about passing a null pointer for arguments marked as requiring a non-null value by the nonnull function attribute.

#include <stdio.h>
#include <stdlib.h>

static void func ( int * var ) 
	__attribute__ ((nonnull));
static void func ( int * var )
{
	var[0] = 9;
}

int main ( void )
{
	int * x = 0; 

	func ( x );

	return 0;
}
